Skip to main content

Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus

Item Preview

SIMILAR ITEMS (based on metadata)